#include <stdio.h>
int main () {
    int a, b, c;
    scanf("%d %d %d", &a, &b, &c);
    int x = a + b + c;
    if (x / 3 >= 60)
      {
        printf("NO");
      } 
    else
     {
        printf("YES");
     }
    return 0;
}
